Zum Buch:

Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen.


Auf der Companion Website:

Für Dozenten:

Dozentenstimmen

Leserstimmen

Durchschnittliche Produktbewertung:
Anzahl der Produktbewertungen: 1

Klicken Sie hier und schreiben Sie Ihre Meinung zu diesem Produkt!

---

		didaktisch gute Darstellung, interessante Aufgaben
von:		Reinhard Völler aus Hamburg
Datum:		5.9.2008

Den Autoren ist es gelungen den oft als "trocken" empfundenen Stoff ansprechend darzustellen. Die Übungsaufgaben sind hervorragend und regen zum "Knobeln" an. Auch die äußere Form der Darstellung gefällt - Empfehlung als Begleitliteratur

Inhaltsverzeichnis

Leseprobe